Real-Time Visualization of Monte Carlo Data from Simulating the Two-Dimensional Ising Model using the Processing Language Florian Wende∗ Freie Universit¨at Berlin, Computer Science Department A BSTRACT

Source URL: blog.ag-nbi.de

The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Source URL: www.sigplan.org

• Computer memory
• Parallel computing
• Concurrent computing
• Compiler construction
• Programming language design
• Linearizability
• Memory model
• C++
• Thread
• Abstraction
• Concurrency
• Memory barrier

On the Streaming Complexity of Language Recognition Frédéric Magniez, Université Paris Diderot - Recognizing well-parenthesized expressions in the streaming model with Claire Mathieu (ENS Paris) , Ashwin Nayak (U. Wat

Source URL: ls2-www.cs.uni-dortmund.de

Corrective Action Plan Twin Falls School DistrictProgram Model: The TFSD students made strong gains on the IELA. 56.7% of our students advanced one level of language proficiency on the IELA.19.7% attained profici

Source URL: www.tfsd.k12.id.us

Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|lhamann|fhilken}@informatik.uni-bremen.

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Relational model
• ECO
• Database
• Model transformation
• Metamodeling
• Class diagram

Building a shared world: Mapping distributional to model-theoretic semantic spaces Aur´elie Herbelot Universit¨at Stuttgart Institut f¨ur Maschinelle Sprachverarbeitung Stuttgart, Germany

Source URL: www.cl.cam.ac.uk

• Semantics
• Logic
• Philosophy
• Linguistics
• Distributional semantics
• Semantics of logic
• Model theory
• Quantifier
• Web Ontology Language
• Duality

Combining Language and Vision with a Multimodal Skip-gram Model arXiv:1501.02598v3 [cs.CL] 12 MarAngeliki Lazaridou Nghia The Pham Marco Baroni

Source URL: arxiv.org

Modeling Annotated Data David M. Blei Michael I. Jordan Division of Computer Science

Source URL: www.cs.princeton.edu

• Statistics
• Probability
• Artificial intelligence
• Statistical natural language processing
• Machine learning
• Statistical models
• Latent Dirichlet allocation
• Probability distributions
• Mixture model
• Expectationmaximization algorithm
• Variational Bayesian methods
• Automatic image annotation

Employing Classifying Terms for Testing Model Transformations

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Software engineering
• Computing
• Engineering
• Software testing
• Systems engineering
• Software design
• Scientific modeling
• Model-based testing
• ECO
• Metamodeling
• Class diagram

On recovering multi-dimensional arrays in Polly Tobias Grosser, Sebastian Pop, J. Ramanujam, P. Sadayappan ETH Z¨ urich, Samsung R&D Center Austin, Louisiana State University, Ohio State University 19. January 2015

Source URL: www.grosser.es

• Software engineering
• Programming language theory
• Computer programming
• C++
• C
• Procedural programming languages
• C++ classes
• Struct
• ALGOL 68
• Polytope model
• Array data structure
• Compatibility of C and C++